DEF=verif
EXT=verif
TESTDIR=.
KOMPILE_BACKEND=haskell
KPROVE_FLAGS=--show-kcfg
export KORE_EXEC_OPTS=--log-level error

include ../include/ktest.mak
